Relational program logics in decomposed style Lennart Beringer ∗ Department of Computer Science, Princeton University, 35 Olden Street, Princeton NJ 08540

Source URL: www.cs.princeton.edu

• Model theory
• Formal languages
• Mathematical logic
• Structure
• Universal algebra
• Interpretation
• Relational algebra
• Substitution

On the “Logic without Borders” Point of View∗ Juliette Kennedy Department of Mathematics and Statistics University of Helsinki, Finland June 29, 2014

Source URL: www.math.helsinki.fi

• Mathematical logic
• Logic
• Model theory
• Mathematics
• Large cardinals
• Set theory
• Metalogic
• Stable theory
• First-order logic
• Second-order logic
• Constructible universe
• Tree

Application for a Dagstuhl Seminar Deduction and Arithmetic Nikolaj Bjørner Reiner H¨ahnle Tobias Nipkow

Source URL: www.dagstuhl.de

• Theoretical computer science
• Mathematical logic
• Logic
• Logic in computer science
• Automated theorem proving
• Formal methods
• Model theory
• Satisfiability modulo theories
• Automated reasoning
• Presburger arithmetic
• First-order logic
• Formal verification

Information Retrieval A Relational Model of Data for Large Shared Data Banks E. F. CODD

Source URL: people.csail.mit.edu

• Mathematics
• Logic
• Mathematical logic
• Model theory
• Relational model
• Binary relation
• Structure
• First-order logic
• Finitary relation
• Relation
• Path ordering
• Relational algebra

Resource-Restricted Indifferentiability? Gr´egory Demay, Peter Gaˇzi, Martin Hirt, and Ueli Maurer Department of Computer Science, ETH Zurich, Switzerland {gregory.demay,peter.gazi,hirt,maurer}@inf.ethz.ch Abstract. A

Source URL: pub.ist.ac.at

• Computability theory
• Mathematical logic
• Model theory
• Structure
• Universal algebra
• Reduction
• Symbol
• Sigma-algebra
• Decomposition of spectrum

J. Symbolic Computation, 235–265 The Magma Algebra System I: The User Language† WIEB BOSMA‡, JOHN CANNON§ AND CATHERINE PLAYOUST¶ Computational Algebra Group, School of Mathematics and Statistics, The

Source URL: www.math.ru.nl

• Algebra
• Mathematics
• Abstract algebra
• Universal algebra
• Mathematical structures
• Mathematical logic
• Algebraic structures
• Magma
• Sigma-algebra
• Structure
• F-algebra
• Model theory

LNCSActive Matching

Source URL: www.margaritachli.com

• Statistics
• Probability
• Mathematical analysis
• Statistical models
• Linear filters
• Cluster analysis
• Machine learning
• Mixture model
• Kalman filter
• Normal distribution
• Difference of Gaussians

A Generalization of St˚ almarck’s Method⋆ Aditya Thakur1 and Thomas Reps1,2⋆⋆ 1 University of Wisconsin; Madison, WI, USA

Source URL: research.cs.wisc.edu

• Logic
• Mathematics
• Mathematical logic
• Boolean algebra
• Propositional calculus
• Model theory
• Propositions
• Propositional formula
• Interpretation
• Tautology
• Distributive property
• Closure

A mathematical model and inversion procedure for Magneto-Acousto-Electric Tomography (MAET) Leonid Kunyansky University of Arizona, Tucson, AZ

Source URL: www.math.purdue.edu

Using Compiler Techniques to Improve Automatic Performance Modeling Arnamoy Bhattacharyya, Grzegorz Kwasniewski, Torsten Hoefler Department of Computer Science ETH Zurich Zurich, Switzerland Email: arnamoyb, grzegorz.kwa

Source URL: htor.inf.ethz.ch

• Computational neuroscience
• Artificial neural network
• Mathematical psychology
• Analysis of algorithms
• Mathematical model